Taming the Wrapping of Integer Arithmetic
نویسندگان
چکیده
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent overflows are rare. However, a sound static analysis must reason about overflowing calculations and conversions between unsigned and signed integers; the latter remaining a common source of subtle programming errors. Rather than polluting an analysis with the low-level details of modelling two’s complement wrapping behaviour, this paper presents a computationally light-weight solution based on polyhedral analysis which eliminates the need to check for wrapping when evaluating most (particularly linear) assignments.
منابع مشابه
The Wrapping Eeect, Ellipsoid Arithmetic, Stability and Conndence Regions
The wrapping eeect is one of the main reasons that the application of interval arithmetic to the enclosure of dynamical systems is diicult. In this paper the source of wrapping is analyzed algebraically and geometrically. A new method for reducing the wrapping eeect is proposed, based on an interval ellipsoid arithmetic. Applications are given to the veriication of stability regions for nonline...
متن کاملThe wrapping effect, ellipsoid arithmetic, stability and confidence regions
The wrapping effect is one of the main reasons that the application of interval arithmetic to the enclosure of dynamical systems is difficult. In this paper the source of wrapping is analyzed algebraically and geometrically. A new method for reducing the wrapping effect is proposed, based on an interval ellipsoid arithmetic. Applications are given to the verification of stability regions for no...
متن کاملImplementation and improvements of affine arithmetic
Affine arithmetic is a well-known tool to reduce the wrapping effect of ordinary interval arithmetic. We discuss several improvements both in theory and in terms of practical implementation. In particular details of INTLAB’s affine arithmetic toolbox are presented. Computational examples demonstrate advantages and weaknesses of the approach.
متن کاملPartial Evaluation of Inter-language Wrappers
Wrapping external components by scripts can be a performance bottleneck if inter-language bridging is frequent. Piccola is a pure composition language that wraps components according to a specific composition style. This wrapping must be efficient, since even arithmetic operations are done by external components. In this paper, we present how to use partial evaluation to overcome much of the ov...
متن کاملFirst as Farce, Then as Filmfarsi: Film Adaptation of Shakespeare’s The Taming of the Shrew in Iran
This article is concerned with William Shakespeare’s famous farce play The Taming of the Shrew and its Persian adaptation as an Iranian film called Gorbe ra dame Hejleh Mikoshand in 1969. The point that informs the inquiry is the way the film departs and differs from the play in relation to the issue of women within the patriarchal society. The play and the film will be examined separately in d...
متن کامل